منابع مشابه
Universal Profinite Domains
We introduce a bicartesian closed category of what we call pro nite domains. Study of these domains is carried out through the use of an equivalent category of pre-orders in a manner similar to the information systems approach advocated by Dana Scott and others. A class of universal pro nite domains is de ned and used to derive su cient conditions for the pro nite solution of domain equations i...
متن کاملA Universal Domain Technique for Profinite Posets
1. I N T R O D U C T I O N . For our purposes a domain equation has the form X = F(X) where F is an operator on a class of semantic domains (typically, F is an endofunctor on a category C). The solution of such equations is a major component of the Scott-Strachey approach to programming language semantics. The reader is refered to [23] or any other reference on denotational semantics for an exp...
متن کاملUniversal Quasi-Prime Algebraic Domains
This paper demonstrates the existence of a saturated quasi-prime algebraic domain. It also presents a cpo of quasi-prime generated information systems for solving domain equations.
متن کاملUniversal properties of ferroelectric domains.
Based on the Ginzburg-Landau approach, we generalize the Kittel theory and derive the interpolation formula for the temperature evolution of a multidomain polarization profile P(x,z). We resolve the long-standing problem of the near-surface polarization behavior in ferroelectric domains and demonstrate polarization vanishing instead of the usually assumed fractal domain branching. We propose an...
متن کاملProfinite Monads, Profinite Equations, and Reiterman's Theorem
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman’s theorem states that they precisely specify pseudovarieties, i.e. classes of finite algebras closed under finite products, subalgebras and quotients. In this paper Reiterman’s theorem is generalised to finite Eilenberg-Moore algebras for a monad T on a variety D of (ordered) algebras: ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1987
ISSN: 0890-5401
DOI: 10.1016/0890-5401(87)90048-4